the arithmetic and geometric mean theorem